Skip to content

Add initial configs for gobrago#381

Closed
jcp19 wants to merge 10 commits intomasterfrom
gobrago
Closed

Add initial configs for gobrago#381
jcp19 wants to merge 10 commits intomasterfrom
gobrago

Conversation

@jcp19
Copy link
Collaborator

@jcp19 jcp19 commented Oct 17, 2024

TODO:

  • port all configs to the new format
  • use a simplified gobra action, allow user to chose .jar

@jcp19 jcp19 mentioned this pull request Nov 19, 2024
jcp19 added a commit that referenced this pull request Nov 19, 2024
Benchmark script will be overriden by PR #381
@jcp19 jcp19 linked an issue Dec 2, 2024 that may be closed by this pull request
@jcp19 jcp19 closed this May 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Build benchmark scripts

1 participant